Formal proof
[计] 形式证明, 形式证法
🧩 词语组成解析
formal
['fɔ:məl]
adj. （学校教育或培训）正规的;方式上的;礼仪上的;
n. <美>须穿礼服的社交集会;<口>夜礼服;
proof
[pruf]
n. 证明;校样;检验;（酒的）标准酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 给（织物）做防护处理，使防水（或防火等）;印…的校样;
vi. [印刷术] 校对;发酵;
prob, prov Prob, prov= test, 表示”测试,证明, 检验”
🗣️ 情景例句
Well, we'll put everything over there.
嗯， 我们将所有的东西都放在那边。
My life is more precious to me than my property.
生命对我来说比财产更宝贵。
Maybe he could help James. So they took the boy to visit him.
也许他能给詹姆斯治病。于是他们带着詹姆斯去找他。